Assumptions: left cancellative, self-dual
Conclusions: right cancellative
Reason: This holds by self-duality.